combinatory logic

The first layer ( basic layer ) is the Curry 's combinatory logic .

第一层（基础层）是Curry的合成逻辑。

The basis of the proposed graph reduction machine is Curry 's combinatory logic .

已提出的图归约机的基础是Currg的合成逻辑（简称C逻辑），但是在图归约机中用C逻辑中的组合子定义作为归约规则似乎过于烦琐。

An algorithm of combinatory logic optimization based on rough set

基于粗糙集的组合逻辑优化算法

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages .

本文提出以合成逻辑（Combinatorylogic）作为程序设计语言语义学的数学基础。

The events have been combinatory logic of alarm , control pattern , process mode , operational command and feedback signals .

事件则是报警信息、控制模式、工艺制式、操作命令和反馈信号的组合逻辑。

Automatic generation of combinators in TAC of combinatory logic

合成逻辑TAC中合子的生成

The article establishes the model combinatory logic and the succession logic model ( latch and trigger ), and finally introduces a simulation example .

文中给出了典型组合逻辑与时序逻辑（锁存器和触发器）宏模型的建立，最后介绍一个仿真实例。

[ 1,2 ] , this paper presents a formal system , which can implement automatic generation of combinators in TAC of combinatory logic .

本文设计了一个形式系统，它能实现合成逻辑TAC中合子的自动生成。

This method is easy to understand , specially simplifies , in the combinatory logic circuit design in the Karnaugh map has the certain theory reference value .

该方法通俗易懂，特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。

Rough set-based method of combinatory logic optimization was presented by using knowledge expression of logic function with rough set theory , and its corresponding algorithm was given , also .

运用粗集理论对逻辑函数进行知识表达的方法，提出了基于粗糙集的组合逻辑优化方法，并给出了相应的算法。

Following and being based on the mathematical foundation of the combinatory logic this paper discusses once more the semantics of the functional programming ( FP ) language .

本文继文献（1）之后，在合成逻辑这一数学基础上，再次探讨函数式程序设计（FP）语言的语义学。

This paper established γω - calculus which is theoretically based on Curry 's combinatory logic ( C logic ) while higher than C logic in the language level .

本文创建了γω演算，它在语言层次方面远高于curry合成逻辑（简称C逻辑），但在理论上依然奠基在C逻辑之上。

The circuit makes full ues of functions of AND circuit , OR circuit and exclusive OR circuit , which turns the more complex judging circuit into simple combinatory logic circuit .

这种电路充分利用与电路、或电路、异或电路的功能，把一个较为复杂的判断电路，变成简单的逻辑组合电路。

Functional abstraction of combinatory OBS with respect to STRUCTURED-OBJECT templates in combinatory logic

合成逻辑中合成项对于结构对象模板的函数抽象